Assertion-based optimization of Quantum programs
نویسندگان
چکیده
منابع مشابه
Towards Assertion-based Debugging of Higher-Order (C)LP Programs
Higher-order programming adds flexibility to the software development process. Within the (Constraint) Logic Programming ((C)LP) paradigm, Prolog has included higherorder constructs since the early days, and there have been many other proposals for combining the first-order kernel of (C)LP with different higher-order constructs. Many of these proposals are currently in use in different (C)LP sy...
متن کاملDeclarative Diagnosis of Contraint Programs: An Assertion-Based Approach
This paper discusses adaptation of the declarative diagnosis techniques for the use in constraint logic programming. The objective is to show how the well-known concepts are to be modiied in this setting. In particular, the paper outlines basic algorithms for diagnosing incorrectness errors and insuuciency errors for constraint programs over arbitrary domains. The main focus is on deening kinds...
متن کاملDeclarative Diagnosis of Constraint Programs an assertion based approach
This paper discusses adaptation of the declarative diagnosis techniques for the use in constraint logic programming The objective is to show how the well known concepts are to be modi ed in this setting In particular the paper outlines basic algorithms for diagnosing incorrectness errors and insu ciency errors for constraint programs over arbitrary domains The main focus is on de ning kinds of ...
متن کاملAssertion-based Debugging of Imperative Programs by Abstract Interpretation
Abstract interpretation is a formal method that enables the static determination (i.e. at compile-time) of the dynamic properties (i.e. at run-time) of programs. So far, this method has mainly been used to build sophisticated, optimizing compilers. In this paper, we show how abstract interpretation techniques can be used to perform, prior to their execution, a static and automatic debugging of ...
متن کاملAssertion-based debugging of imperative programs by abstract interpretation
Abstract interpretation is a formal method that enables the static determination (i.e. at compile-time) of the dynamic properties (i.e. at run-time) of programs. So far, this method has mainly been used to build sophisticated, optimizing compilers. In this paper, we show how abstract interpretation techniques can be used to perform, prior to their execution, a static and automatic debugging of ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the ACM on Programming Languages
سال: 2020
ISSN: 2475-1421
DOI: 10.1145/3428201